Tacit Programming